Optimal. Leaf size=62 \[ -\frac {1}{2} a c x+\frac {1}{2} c \text {ArcTan}(a x)+\frac {1}{2} a^2 c x^2 \text {ArcTan}(a x)+\frac {1}{2} i c \text {PolyLog}(2,-i a x)-\frac {1}{2} i c \text {PolyLog}(2,i a x) \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.05, antiderivative size = 62, normalized size of antiderivative = 1.00, number of steps
used = 7, number of rules used = 6, integrand size = 18, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.333, Rules used = {5070, 4940,
2438, 4946, 327, 209} \begin {gather*} \frac {1}{2} a^2 c x^2 \text {ArcTan}(a x)+\frac {1}{2} c \text {ArcTan}(a x)+\frac {1}{2} i c \text {Li}_2(-i a x)-\frac {1}{2} i c \text {Li}_2(i a x)-\frac {a c x}{2} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 209
Rule 327
Rule 2438
Rule 4940
Rule 4946
Rule 5070
Rubi steps
\begin {align*} \int \frac {\left (c+a^2 c x^2\right ) \tan ^{-1}(a x)}{x} \, dx &=c \int \frac {\tan ^{-1}(a x)}{x} \, dx+\left (a^2 c\right ) \int x \tan ^{-1}(a x) \, dx\\ &=\frac {1}{2} a^2 c x^2 \tan ^{-1}(a x)+\frac {1}{2} (i c) \int \frac {\log (1-i a x)}{x} \, dx-\frac {1}{2} (i c) \int \frac {\log (1+i a x)}{x} \, dx-\frac {1}{2} \left (a^3 c\right ) \int \frac {x^2}{1+a^2 x^2} \, dx\\ &=-\frac {1}{2} a c x+\frac {1}{2} a^2 c x^2 \tan ^{-1}(a x)+\frac {1}{2} i c \text {Li}_2(-i a x)-\frac {1}{2} i c \text {Li}_2(i a x)+\frac {1}{2} (a c) \int \frac {1}{1+a^2 x^2} \, dx\\ &=-\frac {1}{2} a c x+\frac {1}{2} c \tan ^{-1}(a x)+\frac {1}{2} a^2 c x^2 \tan ^{-1}(a x)+\frac {1}{2} i c \text {Li}_2(-i a x)-\frac {1}{2} i c \text {Li}_2(i a x)\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.01, size = 62, normalized size = 1.00 \begin {gather*} -\frac {1}{2} a c x+\frac {1}{2} c \text {ArcTan}(a x)+\frac {1}{2} a^2 c x^2 \text {ArcTan}(a x)+\frac {1}{2} i c \text {PolyLog}(2,-i a x)-\frac {1}{2} i c \text {PolyLog}(2,i a x) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A]
time = 0.04, size = 90, normalized size = 1.45
method | result | size |
risch | \(\frac {i c \ln \left (-i a x +1\right ) x^{2} a^{2}}{4}+\frac {c \arctan \left (a x \right )}{2}-\frac {a c x}{2}-\frac {i c \dilog \left (-i a x +1\right )}{2}-\frac {i c \ln \left (i a x +1\right ) x^{2} a^{2}}{4}+\frac {i c \dilog \left (i a x +1\right )}{2}\) | \(74\) |
meijerg | \(\frac {c \left (-2 a x +\frac {2 \left (3 a^{2} x^{2}+3\right ) \arctan \left (a x \right )}{3}\right )}{4}+\frac {c \left (-\frac {2 i a x \polylog \left (2, i \sqrt {a^{2} x^{2}}\right )}{\sqrt {a^{2} x^{2}}}+\frac {2 i a x \polylog \left (2, -i \sqrt {a^{2} x^{2}}\right )}{\sqrt {a^{2} x^{2}}}\right )}{4}\) | \(86\) |
derivativedivides | \(\frac {a^{2} c \,x^{2} \arctan \left (a x \right )}{2}+c \arctan \left (a x \right ) \ln \left (a x \right )-\frac {c \left (a x -\arctan \left (a x \right )-i \ln \left (a x \right ) \ln \left (i a x +1\right )+i \ln \left (a x \right ) \ln \left (-i a x +1\right )-i \dilog \left (i a x +1\right )+i \dilog \left (-i a x +1\right )\right )}{2}\) | \(90\) |
default | \(\frac {a^{2} c \,x^{2} \arctan \left (a x \right )}{2}+c \arctan \left (a x \right ) \ln \left (a x \right )-\frac {c \left (a x -\arctan \left (a x \right )-i \ln \left (a x \right ) \ln \left (i a x +1\right )+i \ln \left (a x \right ) \ln \left (-i a x +1\right )-i \dilog \left (i a x +1\right )+i \dilog \left (-i a x +1\right )\right )}{2}\) | \(90\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A]
time = 0.50, size = 66, normalized size = 1.06 \begin {gather*} -\frac {1}{2} \, a c x - \frac {1}{4} \, \pi c \log \left (a^{2} x^{2} + 1\right ) + c \arctan \left (a x\right ) \log \left (a x\right ) + \frac {1}{2} \, {\left (a^{2} c x^{2} + c\right )} \arctan \left (a x\right ) - \frac {1}{2} i \, c {\rm Li}_2\left (i \, a x + 1\right ) + \frac {1}{2} i \, c {\rm Li}_2\left (-i \, a x + 1\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} c \left (\int \frac {\operatorname {atan}{\left (a x \right )}}{x}\, dx + \int a^{2} x \operatorname {atan}{\left (a x \right )}\, dx\right ) \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [B]
time = 0.55, size = 57, normalized size = 0.92 \begin {gather*} \left \{\begin {array}{cl} 0 & \text {\ if\ \ }a=0\\ a^2\,c\,\mathrm {atan}\left (a\,x\right )\,\left (\frac {1}{2\,a^2}+\frac {x^2}{2}\right )-\frac {a\,c\,x}{2}-\frac {c\,\left ({\mathrm {Li}}_{\mathrm {2}}\left (1-a\,x\,1{}\mathrm {i}\right )-{\mathrm {Li}}_{\mathrm {2}}\left (1+a\,x\,1{}\mathrm {i}\right )\right )\,1{}\mathrm {i}}{2} & \text {\ if\ \ }a\neq 0 \end {array}\right . \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________